BabeLO—An Extensible Converter of Programming Exercises Formats

BabeLO—An Extensible Converter of Programming Exercises Formats

In the last two decades, there was a proliferation of programming exercise formats that hinders interoperability in automatic assessment. In the lack of a widely accepted standard, a pragmatic solution is to convert content among the existing formats. BabeLO is a programming exercise converter providing services to a network of heterogeneous e-learning systems such as contest management systems...

Extensible Formats for Data Analysis and Documentation

One of the distinctions between good statistical software and general purpose numerical software is the ability of the software to operate easily with metainformation on raw numbers, like scale information (nominal, ordinal, metric) or missing values. However, this information is only the lowest level of meta-information that can be associated with a data set. Often it is desirable to turn a ra...

Automatic Grading of Programming Exercises Automatic Grading of Programming Exercises

SMTtoTPTP - A Converter for Theorem Proving Formats

SMTtoTPTP is a converter from proof problems written in the SMT-LIB format into the TPTP TFF format. The SMT-LIB format supports polymorphic sorts and frequently used theories like those of uninterpreted function symbols, arrays, and certain forms of arithmetics. The TPTP TFF format is an extension of the TPTP format widely used by automated theorem provers, adding a sort system and arithmetic ...

Type Safe Extensible Programming

Software products evolve over time. Sometimes they evolve by adding new features, and sometimes by either fixing bugs or replacing outdated implementations with new ones. When software engineers fail to anticipate such evolution during development, they will eventually be forced to re-architect or re-build from scratch. Therefore, it has been common practice to prepare for changes so that softw...